Empleo de análisis de datos a gran escala para evaluar rasgos de historia vital y de comportamiento: el caso de la población de cigüeñas blancas Ciconia ciconia reintroducidas en los Países Bajos

The White stork Ciconia ciconia has been the object of several successful reintroduction programmes in the last decades. As a consequence, populations have been monitored over large spatial scales. Despite these intense efforts, very few reliable estimates of life history traits are available for this species. Such general knowledge however constitutes a prerequisite for investigating the consequences of conservation measures. Using the large–scale and long–term ringing and resighting data set of White storks in the Netherlands, we investigated the variation of survival and resighting rates with age, time and previous individual resighting history, and in a second step supplementary feeding, using capture–recapture models. Providing food did not seem to affect survival directly, but may have an indirect effect via the alteration of migratory behaviour. Large–scale population monitoring is important in obtaining precise and reliable estimates of life history traits and assessing the consequences of conservation measures on these traits, which will prove useful for managers to take adequate measures in future conservation strategies.Durante las últimas décadas, la cigüeña blanca Ciconia ciconia ha sido objeto de diversos y satisfactorios programas de reintroducción, lo que ha permitido controlar poblaciones a grandes escalas espaciales. Pese a la intensidad de tales esfuerzos, se dispone de muy pocas estimaciones fiables acerca de los rasgos de la historia vital de esta especie. No obstante, estos conocimientos generales constituyen un requisito previo para investigar las consecuencias de las medidas de conservación. El empleo de datos de reavistaje y de anillamiento a largo plazo y a gran escala de las cigüeñas blancas de los Países Bajos nos ha permitido investigar la variación en las tasas de supervivencia y de reavistaje según la edad, el tiempo y la historia previa de reavistajes individuales. Asimismo, en una segunda fase, hemos analizado los efectos de la alimentación suplementaria a partir de modelos de captura–recaptura. Parece que la provisión de alimentos no incidió directamente en la supervivencia, pero es posible que tuviera un efecto indirecto como consecuencia de la alteración del comportamiento migratorio. El control de la población a gran escala es fundamental para obtener estimaciones precisas y fiables de rasgos de historia vital, así como para evaluar las consecuencias de las medidas de conservación de dichos rasgos, que resultarán de especial utilidad para los gestores a la hora de emprender iniciativas apropiadas con respecto a las estrategias de conservación futuras

A TLA+ Proof System

We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The language and the PM support the incremental development and checking of hierarchically structured proofs. The PM translates a proof into a set of independent proof obligations and calls upon a collection of back-end provers to verify them. Different provers can be used to verify different obligations. The currently supported back-ends are the tableau prover Zenon and Isabelle/TLA+, an axiomatisation of TLA+ in Isabelle/Pure. The proof obligations for a complete TLA+ proof can also be used to certify the theorem in Isabelle/TLA+

Differences in the oxidative balance of dispersing and non-dispersing individuals: an experimental approach in a passerine bird.

Dispersal is often associated with a suite of phenotypic traits that might reduce dispersal costs, but can be energetically costly themselves outside dispersal. Hence, dispersing and philopatric individuals might differ throughout their life cycle in their management of energy production. Because higher energy expenditure can lead to the production of highly reactive oxidative molecules that are deleterious to the organism if left uncontrolled, dispersing and philopatric individuals might differ in their management of oxidative balance. Here, we experimentally increased flight costs during reproduction via a wing load manipulation in female collared flycatchers (Ficedula albicollis) breeding in a patchy population. We measured the effects of the manipulation on plasmatic markers of oxidative balance and reproductive success in dispersing and philopatric females. The impact of the wing load manipulation on the oxidative balance differed according to dispersal status. The concentration of reactive oxygen metabolites (ROMs), a marker of pro-oxidant status, was higher in philopatric than dispersing females in the manipulated group only. Differences between dispersing and philopatric individuals also depended on habitat quality, as measured by local breeding density. In low quality habitats, ROMs as well as nestling body mass were higher in philopatric females compared to dispersing ones. Independently of the manipulation or of habitat quality, plasma antioxidant capacity differed according to dispersal status: philopatric females showed higher antioxidant capacity than dispersing ones. Nestlings raised by philopatric females also had a higher fledging success. Our results suggest that dispersing individuals maintain a stable oxidative balance when facing challenging environmental conditions, at the cost of lower reproductive success. Conversely, philopatric individuals increase their effort, and thus oxidative costs, in challenging conditions thereby maintaining their reproductive success. Our study sheds light on energetics and oxidative balance as possible processes underlying phenotypic differences between dispersing and philopatric individuals

Effects of Interspecific Coexistence on Laying Date and Clutch Size in Two Closely Related Species of Hole-nesting Birds

Coexistence between great tits Parus major and blue tits Cyanistes caeruleus, but also other hole-nesting taxa, constitutes a classic example of species co-occurrence resulting in potential interference and exploitation competition for food and for breeding and roosting sites. However, the spatial and temporal variations in coexistence and its consequences for competition remain poorly understood. We used an extensive database on reproduction in nest boxes by great and blue tits based on 87 study plots across Europe and Northern Africa during 1957–2012 for a total of 19,075 great tit and 16,729 blue tit clutches to assess correlative evidence for a relationship between laying date and clutch size, respectively, and density consistent with effects of intraspecific and interspecific competition. In an initial set of analyses, we statistically controlled for a suite of site-specific variables. We found evidence for an effect of intraspecific competition on blue tit laying date (later laying at higher density) and clutch size (smaller clutch size at higher density), but no evidence of significant effects of intraspecific competition in great tits, nor effects of interspecific competition for either species. To further control for site-specific variation caused by a range of potentially confounding variables, we compared means and variances in laying date and clutch size of great and blue tits among three categories of difference in density between the two species. We exploited the fact that means and variances are generally positively correlated. If interspecific competition occurs, we predicted a reduction in mean and an increase in variance in clutch size in great tit and blue tit when density of heterospecifics is higher than the density of conspecifics, and for intraspecific competition, this reduction would occur when density of conspecifics is higher than the density of heterospecifics. Such comparisons of temporal patterns of means and variances revealed evidence, for both species, consistent with intraspecific competition and to a smaller extent with interspecific competition. These findings suggest that competition associated with reproductive behaviour between blue and great tits is widespread, but also varies across large spatial and temporal scales. © 2018 The Authors. Journal of Animal EcologyAcademy of Finland 26585

Geostatistical modeling and spatial distribution analysis of porosity and permeability in the Shurijeh-B reservoir of Khangiran gas field in Iran

The main objectives of this study are analysis of spatial behavior of the porosity and permeability, presenting direction of anisotropy for each variable and describing variation of these parameters in Shurijeh B gas reservoir in Khangiran gas field. Porosity well log data of 32 wells are available for performing this geostatistical analysis. A univariate statistical analysis is done on both porosity and permeability to provide a framework for geostatistical analysis and modeling. For spatial analysis of these parameters, the experimental semivariogram of each variable in different direction as well as their variogram map plotted to find out the direction of anisotropy and their geostatistical parameters such as range, sill, and nugget effect for later geostatistical work and finally for geostatistical modeling, two approaches kriging and Sequential Gaussian Simulation are used to get porosity and permeability maps through the entire reservoir. All of statistical and geostatistical analysis has been done using GSLIB and PETREL software. Maximum and minimum direction of continuity are found to be N75W and N15E, respectively. Geostatistical parameters of calculated semivariogram in this direction like range of 7000 m and nugget of 0.2 are used for modeling. Both kriging and SGS method used for modeling but kriging tends to smooth out estimates but on the other hand SGS method tends to show up details. Cross-validation also used to validate the generated modeling

Scale-free memory model for multiagent reinforcement learning. Mean field approximation and rock-paper-scissors dynamics

A continuous time model for multiagent systems governed by reinforcement learning with scale-free memory is developed. The agents are assumed to act independently of one another in optimizing their choice of possible actions via trial-and-error search. To gain awareness about the action value the agents accumulate in their memory the rewards obtained from taking a specific action at each moment of time. The contribution of the rewards in the past to the agent current perception of action value is described by an integral operator with a power-law kernel. Finally a fractional differential equation governing the system dynamics is obtained. The agents are considered to interact with one another implicitly via the reward of one agent depending on the choice of the other agents. The pairwise interaction model is adopted to describe this effect. As a specific example of systems with non-transitive interactions, a two agent and three agent systems of the rock-paper-scissors type are analyzed in detail, including the stability analysis and numerical simulation. Scale-free memory is demonstrated to cause complex dynamics of the systems at hand. In particular, it is shown that there can be simultaneously two modes of the system instability undergoing subcritical and supercritical bifurcation, with the latter one exhibiting anomalous oscillations with the amplitude and period growing with time. Besides, the instability onset via this supercritical mode may be regarded as "altruism self-organization". For the three agent system the instability dynamics is found to be rather irregular and can be composed of alternate fragments of oscillations different in their properties.Comment: 17 pages, 7 figur

Collective Animal Behavior from Bayesian Estimation and Probability Matching

Animals living in groups make movement decisions that depend, among other factors, on social interactions with other group members. Our present understanding of social rules in animal collectives is based on empirical fits to observations and we lack first-principles approaches that allow their derivation. Here we show that patterns of collective decisions can be derived from the basic ability of animals to make probabilistic estimations in the presence of uncertainty. We build a decision-making model with two stages: Bayesian estimation and probabilistic matching.
In the first stage, each animal makes a Bayesian estimation of which behavior is best to perform taking into account personal information about the environment and social information collected by observing the behaviors of other animals. In the probability matching stage, each animal chooses a behavior with a probability given by the Bayesian estimation that this behavior is the most appropriate one. This model derives very simple rules of interaction in animal collectives that depend only on two types of reliability parameters, one that each animal assigns to the other animals and another given by the quality of the non-social information. We test our model by obtaining theoretically a rich set of observed collective patterns of decisions in three-spined sticklebacks, Gasterosteus aculeatus, a shoaling fish species. The quantitative link shown between probabilistic estimation and collective rules of behavior allows a better contact with other fields such as foraging, mate selection, neurobiology and psychology, and gives predictions for experiments directly testing the relationship between estimation and collective behavior

Genetic diversity, linkage disequilibrium and power of a large grapevine (Vitis vinifera L) diversity panel newly designed for association studies

UMR-AGAP Equipe DAVV (Diversité, adaptation et amélioration de la vigne) ; équipe ID (Intégration de Données)International audienceAbstractBackgroundAs for many crops, new high-quality grapevine varieties requiring less pesticide and adapted to climate change are needed. In perennial species, breeding is a long process which can be speeded up by gaining knowledge about quantitative trait loci linked to agronomic traits variation. However, due to the long juvenile period of these species, establishing numerous highly recombinant populations for high resolution mapping is both costly and time-consuming. Genome wide association studies in germplasm panels is an alternative method of choice, since it allows identifying the main quantitative trait loci with high resolution by exploiting past recombination events between cultivars. Such studies require adequate panel design to represent most of the available genetic and phenotypic diversity. Assessing linkage disequilibrium extent and panel power is also needed to determine the marker density required for association studies.ResultsStarting from the largest grapevine collection worldwide maintained in Vassal (France), we designed a diversity panel of 279 cultivars with limited relatedness, reflecting the low structuration in three genetic pools resulting from different uses (table vs wine) and geographical origin (East vs West), and including the major founders of modern cultivars. With 20 simple sequence repeat markers and five quantitative traits, we showed that our panel adequately captured most of the genetic and phenotypic diversity existing within the entire Vassal collection. To assess linkage disequilibrium extent and panel power, we genotyped single nucleotide polymorphisms: 372 over four genomic regions and 129 distributed over the whole genome. Linkage disequilibrium, measured by correlation corrected for kinship, reached 0.2 for a physical distance between 9 and 458 Kb depending on genetic pool and genomic region, with varying size of linkage disequilibrium blocks. This panel achieved reasonable power to detect associations between traits with high broad-sense heritability (> 0.7) and causal loci with intermediate allelic frequency and strong effect (explaining > 10 % of total variance).ConclusionsOur association panel constitutes a new, highly valuable resource for genetic association studies in grapevine, and deserves dissemination to diverse field and greenhouse trials to gain more insight into the genetic control of many agronomic traits and their interaction with the environment

Identification of stable QTLs for vegetative and reproductive traits in the microvine (Vitis vinifera L.) using the 18 K Infinium chip

UMR AGAP - équipe DAAV - Diversité, adaptation et amélioration de la vigne[b]Background[/b] [br/]The increasing temperature associated with climate change impacts grapevine phenology and development with critical effects on grape yield and composition. Plant breeding has the potential to deliver new cultivars with stable yield and quality under warmer climate conditions, but this requires the identification of stable genetic determinants. This study tested the potentialities of the microvine to boost genetics in grapevine. A mapping population of 129 microvines derived from Picovine x Ugni Blanc flb, was genotyped with the Illumina® 18 K SNP (Single Nucleotide Polymorphism) chip. Forty-three vegetative and reproductive traits were phenotyped outdoors over four cropping cycles, and a subset of 22 traits over two cropping cycles in growth rooms with two contrasted temperatures, in order to map stable QTLs (Quantitative Trait Loci). [br/][b]Results[/b] [br/]Ten stable QTLs for berry development and quality or leaf area were identified on the parental maps. A new major QTL explaining up to 44 % of total variance of berry weight was identified on chromosome 7 in Ugni Blanc flb, and co-localized with QTLs for seed number (up to 76 % total variance), major berry acids at green lag phase (up to 35 %), and other yield components (up to 25 %). In addition, a minor QTL for leaf area was found on chromosome 4 of the same parent. In contrast, only minor QTLs for berry acidity and leaf area could be found as moderately stable in Picovine. None of the transporters recently identified as mutated in low acidity apples or Cucurbits were included in the several hundreds of candidate genes underlying the above berry QTLs, which could be reduced to a few dozen candidate genes when a priori pertinent biological functions and organ specific expression were considered. [br/][b]Conclusions[/b] [br/]This study combining the use of microvine and a high throughput genotyping technology was innovative for grapevine genetics. It allowed the identification of 10 stable QTLs, including the first berry acidity QTLs reported so far in a Vitis vinifera intra-specific cross. Robustness of a set of QTLs was assessed with respect to temperature variatio

Translocation as a Novel Approach to Study Effects of a New Breeding Habitat on Reproductive Output in Wild Birds

Environmental conditions under which species reproduce have major consequences on breeding success and subsequent fitness. Therefore breeding habitat choice is ultimately important. Studies rarely address the potential fitness pay-offs of alternative natural breeding habitats by experimental translocation. Here we present a new tool to study fitness consequences of free living birds in different habitats. We translocated a migratory passerine, the pied flycatcher (Ficedula hypoleuca), to a novel site, where pairs were subjected to a short stay (2–4 days) in a nest box-equipped aviary before being released. We show that it is technically possible to retain birds in the new area for breeding, allowing the study of reproductive consequences of dispersal under natural conditions. The translocation resulted in an extension of the interval between arrival and egg laying of four days, highlighting the importance of having an adequate control group. Clutch size and nestling parameters did not differ significantly between translocated and unmanipulated females, which suggests that the procedure did not affect birds in their reproductive performance later on. This method could be applied broadly in evolutionary and ecological research, e.g., to study the potential fitness benefits and costs for dispersing to more northern latitudes as a way of adapting to climate change